Skip to content

chore: drop global RUNNER_THREAD_POOL#166

Merged
efiop merged 1 commit intomainfrom
ruslan/lazy-thread-pool
Apr 11, 2025
Merged

chore: drop global RUNNER_THREAD_POOL#166
efiop merged 1 commit intomainfrom
ruslan/lazy-thread-pool

Conversation

@efiop
Copy link
Contributor

@efiop efiop commented Apr 11, 2025

Otherwise we might be trying to pickle it if any of our code imports this file. We have a class to put it into anyway for better resource management.

@efiop efiop force-pushed the ruslan/lazy-thread-pool branch from e8584ea to 165ae56 Compare April 11, 2025 13:11
@efiop efiop merged commit 27bc755 into main Apr 11, 2025
6 checks passed
@efiop efiop deleted the ruslan/lazy-thread-pool branch April 11, 2025 15:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant